Clinton told to speed up plutonium disposal

Subtree Parsing to Speed up Deep Analysis

Synchronization phases (to speed up transactional memory)

We introduce the Sync-Phase technique for software transactional memory. Time is divided into two different alternating phases: computation phases and commit (synchronization) phases. Transactions are only allowed to commit during a commit phase, which allows execution without validation (or the need for cache synchronization) during computation phases. Phases can be determined through time or ...

Postponing Optimization to Speed Up MAXSAT Solving

maxsat is an optimization version of sat that can represent a wide variety of important optimization problems. A recent approach for solving maxsat is to exploit both a sat solver and a Mixed Integer Programming (mip) solver in a hybrid approach. Each solver generates information used by the other solver in a series of iterations that terminates when an optimal solution is found. Empirical resu...

Feature Reduction to Speed Up Malware Classification

In statistical classification work, one method of speeding up the process is to use only a small percentage of the total parameter set available. In this paper, we apply this technique both to the classification of malware and the identification of malware from a set combined with cleanware. In order to demonstrate the usefulness of our method, we use the same sets of malware and cleanware as i...

Health care reimbursement: Clemens to Clinton.

THE HISTORY OF HEALTH INSURANCE The history of health insurance goes back centuries, possibly to ancient China and the Norman Conquest. Henry I introduced sweeping health care reforms to the newly combined kingdoms of England and Normandy. Soon thereafter, at least one “physician,” “John of Essex,” was receiving an honorarium of one penny per day for his efforts. As historians explained, that s...